En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
[twelv'teib(ə)lz]
общая лексика
кодекс
свод законов Древнего Рима
[wið]
общая лексика
ссориться
синоним
предлог
общая лексика
указывает на
совместность (часто together with) (вместе) с
взаимоотношение с
пребывание в доме у кого-л. у
работу где-л. или у кого-л. в
смешивание, сочетание, добавление (вместе) с
к
средство на
за
наличие чего-л. и кого-л. у
при
с (собой)
"meat" begins with"m" - (слово) meat начинается с m
дополнительные обстоятельства или моменты причём
условия совершения действия в условиях
когда
при том
что
(по отношению) к
для
совместимость или сопоставимость наравне с
причину, источник чего-л. от
из-за
указывает на движение в том же направлении по
что касается
имеет уступительное значение (обычно with all) несмотря на
The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke–Platek set theory. It is considerably weaker than the (relatively) familiar system ZFU. The purpose of allowing urelements is to allow large or high-complexity objects (such as the set of all reals) to be included in the theory's transitive models without disrupting the usual well-ordering and recursion-theoretic properties of the constructible universe; KP is so weak that this is hard to do by traditional means.